package sjm.engine;

/*
 * Copyright (c) 1999 Steven J. Metsker. All Rights Reserved.
 * 
 * Steve Metsker makes no representations or warranties about
 * the fitness of this software for any particular purpose, 
 * including the implied warranty of merchantability.
 */

 /**
 * An object that implements the AxiomEnumeration interface
 * generates a series of axioms, one at a time.
 *
 * @author Steven J. Metsker
 *
 * @version 1.0  
 */
public interface AxiomEnumeration {
/**
 * Tests if this enumeration contains more axioms.
 *
 * @return  <code>true</code> if this enumeration contains more
 *          axioms, and <code>false</code> otherwise.
 */
boolean hasMoreAxioms();
/**
 * Returns the next axiom of this enumeration.
 *
 * @return the next axiom of this enumeration.
 */
Axiom nextAxiom();
}